Ex: Topoi are gradual inference rules, often used by experts in several types of problems.
Spanish-English dictionary. 2013.
Deducción — En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.[1] En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la… … Wikipedia Español
Sistema basado en reglas — Los sistemas basados en reglas trabajan mediante la aplicación de reglas, comparación de resultados y aplicación de las nuevas reglas basadas en situación modificada. También pueden trabajar por inferencia lógica dirigida, bien empezando con una… … Wikipedia Español
Demostración matemática — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. Una deducción o demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hipótesis, permite asegurar… … Wikipedia Español
Lógica cuántica — En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. Ejemplos de tales… … Wikipedia Español
Semántica — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al auto … Wikipedia Español
Sistema formal — La noción de sistema formal se utiliza para proporcionar una definición rigurosa del concepto de demostración en lógica y en matemáticas. La noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema… … Wikipedia Español
Lenguaje proposicional — Este artículo o sección tiene una estructura no enciclopédica, más propia de libros avanzados de lógica, con terminología matemática muy técnica que no es compatible con un formato enciclopédico de uso general y difícil de entender para lectores… … Wikipedia Español
teorema — {{＃}}{{LM T37546}}{{〓}} {{［}}teorema{{］}} ‹te·o·re·ma› {{《}}▍ s.m.{{》}} Proposición demostrable a través de la lógica mediante reglas de deducción aceptadas: • el teorema de Pitágoras.{{○}} {{★}}{{＼}}ETIMOLOGÍA:{{／}} Del griego theórema… … Diccionario de uso del español actual con sinónimos y antónimos
Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… … Wikipedia Español
Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… … Wikipedia Español
Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… … Wikipedia Español
